Quantificateur universel - Math'φsics

Quantificateur universel

Formulaire de report
Problème d'affichage Contenu de la note peu pertinent

Définition
\(\forall\) est appelé "quantificateur universel" L'assertion \(\forall x,A(x)\) est vraie si et seulement si pour tout objet \(x\), \(A(x)\) est vraie

Formules

Négation
(Conjonction)
Négation : $${{\lnot(\forall x,A(x))}}\iff{{(\exists x,\lnot A(x))}}$$

Interprétation
$${{[\![\forall x.\varphi,\nu]\!]}}={{\min\{[\![\varphi,\nu[x=d]]\!]\mid d\in\mathcal D\} }}$$
(Fonction minimum)
Rétroliens :
- Intersection
- Sous-ensemble - Partie d'un ensemble